Description Logics are a family of knowledge representation languages that have been
studied extensively in Artificial Intelligence over the last two decades. They are embodied in
several knowledge-based systems and are used to develop various real-life applications.
The Description Logic Handbook provides a thorough account of the subject, covering all
aspects of research in this field, namely: theory, implementation, and applications. Its appeal
will be broad, ranging from more theoretically-oriented readers, to those with more …

Since the publication of the first edition of The Description Logic Handbook in 2003, the
interest in Description Logics (DL) has steadily increased. This applies both to the number of
active DL researchers working on DL theory and implementations of reasoning services,
and to the number of applications based on DL technology. One effect of this growing
interest was that the first edition of the Handbook has gone through quite a number of
reprints. Another effect is, of course, that in the last three years there have been interesting …